Ppc Assumptions